Technical - PDFSEARCH.IO - Document Search Engine

Technical
Results: 123367

#	Item
21	Technical Report On the Mathematical Properties of Monadic Stream Functions 1. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2018-10-16 07:48:38 Software engineering Computer programming Mathematics Spectral theory Computability theory Lambda calculus Theoretical computer science Monad Continuous function Function composition Spectral theory of ordinary differential equations Jordan normal form
22	Bitcoin Mining Technical Explanation http://learnmeabitcoin.com Intro Add to Reading List Source URL: learnmeabitcoin.com - Date: 2017-11-10 09:33:12
23	ZEN: Technical notes on a financial engine Nathan Cook July 18th 2017 Summary We describe the Zen Protocol, the basis for a decentralized financial Add to Reading List Source URL: www.zenprotocol.com Language: English - Date: 2018-10-19 06:12:25 Cryptocurrencies Bitcoin Blockchains Computing Alternative currencies Money Economy Cryptography SegWit Ethereum Merkle tree Bitcoin Unlimited
24	37,,000 About the Company NewsBTC covers bitcoin news, technical Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2018-09-14 08:11:53 Cryptocurrencies Culture Fiction Economy Alternative currencies Digital currencies Bitcoin Ico Display advertising Gram
25	DNA in Amber 15 Ancient DNA DNA in Amber In an article in Institute of Creation Research’s journal, Creation Ex Nihilo Technical JournalVol. 8 Pt. 1, we read that the discovery of ancient DNA in amber (fossili Add to Reading List Source URL: www.jesuswordsonly.com Language: English - Date: 2009-05-12 21:09:14 Biology Molecular biology Nature Biochemistry DNA Biotechnology Laboratory techniques Polymerase chain reaction Ancient DNA Eske Willerslev George Poinar Jr. Genetics
26	SEU Technical Requirements Add to Reading List Source URL: content.learninghouse.com Language: English - Date: 2017-04-04 15:28:49 Software Computing Web browsers Cross-platform software Adobe software Mozilla Portable software Firefox Safari JavaScript Google Chrome Adobe Flash Player
27	LEVERJ DECENTRALIZED LEVERAGED EXCHANGE Technical Adviser Add to Reading List Source URL: www.leverj.io Language: English Economy Cryptocurrencies Money Finance Blockchain Counterparty Smart contract Derivative Algorithmic trading Decentralized exchange Order matching system Computer security
28	Approval Session Technical Summary IPCC SR1.5 Add to Reading List Source URL: www.ipcc.ch Language: English - Date: 2018-10-15 06:31:26 Foreign relations Law Government Climate change policy Global warming Effects of global warming IPCC Third Assessment Report Intergovernmental Panel on Climate Change Paris Agreement IPCC Fifth Assessment Report Climate change adaptation Carbon dioxide removal
29	Abstract DPLL and Abstract DPLL Modulo Theories Robert Nieuwenhuis1 , Albert Oliveras1 , and Cesare Tinelli2 1 Technical University of Catalonia Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2005-03-21 16:24:36 Theoretical computer science Mathematics Computational complexity theory Formal methods Electronic design automation Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem DPLL Phase-locked loop Satisfiability
30	Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of Washington Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture Computing System software Central processing unit ARM architecture Translation lookaside buffer Hypervisor Protection ring QEMU X86 virtualization Hyper-V Second Level Address Translation